Danish formelle metoder for asynkrone systemer: translation to other languages